Lemma Proving Every Cauchy Sequence Is Bounded